right adjoint functor

[数] 右伴随函子